GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>David Harel</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">David Harel</span></h1>

</header>

</div>

<p><b>David Harel</b> (* <a href="12._April" title="12. April">12. April</a> <a href="1950" title="1950">1950</a> in <a href="London" title="London">London</a>) ist ein <a href="Israel" title="Israel">israelischer</a> <a href="Informatiker" title="Informatiker">Informatiker</a>, der sich mit Software-Engineering, theoretischer Informatik (Berechenbarkeit, Datenbanktheorie, Automatentheorie), Systembiologie und dynamischer Logik befasst.

</p><p>Harel wurde 1978 am <a href="Massachusetts_Institute_of_Technology" title="Massachusetts Institute of Technology">Massachusetts Institute of Technology</a> promoviert. Er ist Professor für Informatik am <a href="Weizmann-Institut_f%C3%BCr_Wissenschaften" title="Weizmann-Institut für Wissenschaften">Weizmann-Institut</a>, wo er seit 1980 tätig ist. 1983 wurde er dort <i>Associate Professor</i> und 1989 Professor. Von 1989 bis 1995 war er Leiter der Abteilung Angewandte Mathematik und Informatik und von 1998 bis 2004 Dekan der Fakultät für Mathematik und Informatik.

</p><p>Er war unter anderem Gastprofessor und Gastwissenschaftler an der <a href="University_of_Edinburgh" title="University of Edinburgh">University of Edinburgh</a>, der Universität in Singapur, bei Microsoft Research, in Grenoble (Verimag), Birmingham und dem NASA <a href="Goddard_Space_Flight_Center" title="Goddard Space Flight Center">Goddard Space Flight Center</a>. 1987 war er einer der Gründer der Softwarefirma I-Logix (2006 an Telelogic verkauft).

</p><p>In den 1980er Jahren entwickelte er <i>Statecharts</i>, eine graphische Programmiersprache, die Teil des <a href="Unified_Modeling_Language" title="Unified Modeling Language">UML</a>-Standards wurde. Er arbeitet am Computermodell der Nematode <a href="C._elegans" class="mw-redirect" title="C. elegans">C. elegans</a>, ein häufig studiertes Modell für einfache tierische Nervensysteme. Weitere Arbeitsgebiete sind Synthese und Kommunikation von Düften (bei der Firma DigiScents), Graphik-Layout, visuelle Programmiersprachen.

</p><p>2004 erhielt er den <a href="Israel-Preis" title="Israel-Preis">Israel-Preis</a> und 1996 den Stevens Award. 2007 erhielt er den <a href="ACM_Software_System_Award" title="ACM Software System Award">ACM Software System Award</a> für die Entwicklung von <a href="Statemate" title="Statemate">Statemate</a>. Er ist Fellow der <a href="Association_for_Computing_Machinery" title="Association for Computing Machinery">Association for Computing Machinery</a> (ACM, 1994) und <a href="IEEE_Fellow" title="IEEE Fellow">IEEE Fellow</a> (1995). 2006 wurde er zum Mitglied der <a href="Academia_Europaea" title="Academia Europaea">Academia Europaea</a> und 2007 zum Fellow der <a href="American_Association_for_the_Advancement_of_Science" title="American Association for the Advancement of Science">American Association for the Advancement of Science</a> gewählt. Seit 2010 ist er Mitglied der <a href="Israelische_Akademie_der_Wissenschaften" title="Israelische Akademie der Wissenschaften">Israelischen Akademie der Wissenschaften</a>. 2014 wurde er darüber hinaus in die <a href="American_Academy_of_Arts_and_Sciences" title="American Academy of Arts and Sciences">American Academy of Arts and Sciences</a> aufgenommen, 2019 in die <a href="National_Academy_of_Sciences" title="National Academy of Sciences">National Academy of Sciences</a>, 2020 in die <a href="Royal_Society" title="Royal Society">Royal Society</a>.

</p>

<div class="mw-heading mw-heading2"><h2 id="Schriften">Schriften</h2></div>

<ul><li>Algorithmics: the spirit of computing, 1987, 3. Auflage, Addison-Wesley 2004, Springer Verlag 2012 (mit Yishai Feldman)

<ul><li>auch in einer anderen Version als: The Science of Computing: Exploring the Nature and Power of Algorithms, Addison-Wesley 1989, erschienen</li>

<li>deutsche Übersetzung: Algorithmik, die Kunst des Rechnens, Springer Verlag 2006</li></ul></li>

<li>Computers Ltd.: what they really can’t do, Oxford University Press 2000</li>

<li>mit Dexter Kozen, Jerzy Tiuryn <i>Dynamic Logic</i>, MIT Press 2000</li>

<li>mit M. Politi: Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw Hill 1998

<ul><li>eine frühere Version erschien als: The Languages of STATEMATE, I-Logix, Inc., Andover, MA, 1991</li></ul></li>

<li>mit R. Marelly: Come, Let’s Play: Scenario-Based Programming Using LSCs and the Play-Engine, Springer Verlag 2003</li></ul>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="https://www.wisdom.weizmann.ac.il/~harel/">Homepage</a></li></ul>

<div>

Normdaten (Person): <a href="Gemeinsame_Normdatei" title="Gemeinsame Normdatei">GND</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://d-nb.info/gnd/109527992">109527992</a></span> | <a href="Library_of_Congress_Control_Number" title="Library of Congress Control Number">LCCN</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://id.loc.gov/authorities/n79038969">n79038969</a></span> | <a href="Virtual_International_Authority_File" title="Virtual International Authority File">VIAF</a>: <span class="-print"><a rel="nofollow" class="external text" href="https://viaf.org/viaf/109353358/">109353358</a></span> | </div>

</div></div>

</div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2023-09-18" href="https://de.wikipedia.org/wiki/?title=David_Harel&oldid=237446755">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>